$\forall$$r$:Rng, $n$:$\mathbb{N}$, $u$:$\mid$$r$$\mid$. ($n$ $\cdot$$r$ $u$) $\in$ $\mid$$r$$\mid$